Tahar, Sofiene: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (140)
Найпопулярніші
Перелік
- Перелік
- Таблиця

A Practical Methodology for the Formal Verification of RISC Processors

Sofiéne Tahar, Ramayya Kumar

Журнал:

Formal Methods in System Design

Рік:

1998

Мова:

english

Файл:

PDF, 350 KB

english, 1998

[IEEE 2015 3rd International Conference on Future Internet of Things and Cloud (FiCloud) - Rome, Italy (2015.8.24-2015.8.26)] 2015 3rd International Conference on Future Internet of Things and Cloud - A Machine Learning Approach for Big Data in Oil and Gas Pipelines

Mohamed, Abduljalil, Hamdi, Mohamed Salah, Tahar, Sofiene

Рік:

2015

Мова:

english

Файл:

PDF, 634 KB

english, 2015

Fast statistical analysis of nonlinear analog circuits using model order reduction

Aridhi, Henda, Zaki, Mohamed H., Tahar, Sofiène

Журнал:

Analog Integrated Circuits and Signal Processing

Рік:

2015

Мова:

english

Файл:

PDF, 2.32 MB

english, 2015

On the Transformation of SystemC to AsmL Using Abstract Interpretation

Ali Habibi, Sofiene Tahar

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 236 KB

english, 2005

Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL

Liya Liu, Osman Hasan, Sofiène Tahar

Журнал:

Journal of Computer Science and Technology

Рік:

2013

Мова:

english

Файл:

PDF, 474 KB

english, 2013

Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning

Layouni, Mohamed, Hamdi, Mohamed Salah, Tahar, Sofiène

Журнал:

Applied Soft Computing

Рік:

2016

Мова:

english

Файл:

PDF, 3.21 MB

english, 2016

[IEEE 2018 16th IEEE International New Circuits and Systems Conference (NEWCAS) - Montréal, QC, Canada (2018.6.24-2018.6.27)] 2018 16th IEEE International New Circuits and Systems Conference (NEWCAS) - Reliability Analysis of CMOS Rambus Oscillator under Device Mismatch Effects

Seghaier, Ibtissem, Tahar, Sofiene

Рік:

2018

Файл:

PDF, 6 KB

2018

Formal verification of tail distribution bounds in the HOL theorem prover

Osman Hasan, Sofiène Tahar

Журнал:

Mathematical Methods in the Applied Sciences

Рік:

2009

Мова:

english

Файл:

PDF, 181 KB

english, 2009

Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits

Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar

Журнал:

Journal of Electronic Testing

Рік:

2010

Мова:

english

Файл:

PDF, 769 KB

english, 2010

[IEEE 2009 IEEE 15th International Mixed-Signals, Sensors, and Systems Test Workshop (IMS3TW) - Scottsdale, AZ, USA (2009.06.10-2009.06.12)] 2009 IEEE 15th International Mixed-Signals, Sensors, and Systems Test Workshop - Using stochastic differential equation for assertion based verification of noise in analog/RF circuits

Narayanan, Rajeev, Zaki, Mohamed H., Tahar, Sofiene

Рік:

2009

Мова:

english

Файл:

PDF, 1.70 MB

english, 2009

[IEEE 2009 IEEE Symposium on Computers and Communications (ISCC) - Sousse, Tunisia (2009.07.5-2009.07.8)] 2009 IEEE Symposium on Computers and Communications - Radio Access Network traffic generation for Mobile Switching Center

Albasheir, Suliman, Tahar, Sofiene, Gauthier, Claude, Personna, Jean Roussel

Рік:

2009

Мова:

english

Файл:

PDF, 759 KB

english, 2009

SPIE Proceedings [SPIE SPIE Optical Engineering + Applications - San Diego, California, United States (Sunday 25 August 2013)] Optical System Alignment, Tolerancing, and Verification VII - A new approach for the verification of optical systems

Siddique, Umair, Aravantinos, Vincent, Tahar, Sofiène, Sasián, José, Youngworth, Richard N.

Рік:

2013

Мова:

english

Файл:

PDF, 1.25 MB

english, 2013

[IEEE 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions (CIES) - Orlando, FL, USA (2014.12.9-2014.12.12)] 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions (CIES) - A survey on the application of Neural Networks in the safety assessment of oil and gas pipelines

Layouni, Mohamed, Tahar, Sofiene, Hamdi, Mohamed Salah

Рік:

2014

Мова:

english

Файл:

PDF, 1.29 MB

english, 2014

[IEEE 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Abu Dhabi, United Arab Emirates (2015.10.19-2015.10.21)] 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Formal reliability analysis of wireless sensor network data transport protocols using HOL

Ahmed, Waqar, Hasan, Osman, Tahar, Sofiene

Рік:

2015

Мова:

english

Файл:

PDF, 711 KB

english, 2015

Formalization of Reliability Block Diagrams in Higher-order Logic

Ahmed, Waqar, Hasan, Osman, Tahar, Sofiène

Журнал:

Journal of Applied Logic

Рік:

2016

Мова:

english

Файл:

PDF, 542 KB

english, 2016

Accelerated and Reliable Analog Circuits Yield Analysis using SMT Solving Techniques

Lahiouel, Ons, Zaki, Mohamed H., Tahar, Sofiene

Журнал:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Рік:

2017

Мова:

english

Файл:

PDF, 8.81 MB

english, 2017

[IEEE 2016 IEEE International Symposium on Circuits and Systems (ISCAS) - Montréal, QC, Canada (2016.5.22-2016.5.25)] 2016 IEEE International Symposium on Circuits and Systems (ISCAS) - Cross recurrence verification technique for process variation-resilient analog circuits

Seghaier, Ibtissem, Zaki, Mohamed H., Tahar, Sofiene

Рік:

2016

Мова:

english

Файл:

PDF, 532 KB

english, 2016

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Рік:

2017

Мова:

english

Файл:

PDF, 722 KB

english, 2017

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Рік:

2017

Мова:

english

Файл:

PDF, 300 KB

english, 2017

A Dynamic and Failure-aware Task Scheduling Framework for Hadoop

Soualhia, Mbarka, Khomh, Foutse, Tahar, Sofiene

Журнал:

IEEE Transactions on Cloud Computing

Рік:

2018

Мова:

english

Файл:

PDF, 916 KB

english, 2018

Hybrid verification integrating HOL theorem proving with MDG model checking

Rabeb Mizouni, Sofiène Tahar, Paul Curzon

Журнал:

Microelectronics Journal

Рік:

2006

Мова:

english

Файл:

PDF, 231 KB

english, 2006

Formal verification of analog and mixed signal designs: A survey

Mohamed H. Zaki, Sofiène Tahar, Guy Bois

Журнал:

Microelectronics Journal

Рік:

2008

Мова:

english

Файл:

PDF, 273 KB

english, 2008

Error analysis of digital filters using HOL theorem proving

Behzad Akbarpour, Sofiène Tahar

Журнал:

Journal of Applied Logic

Рік:

2007

Мова:

english

Файл:

PDF, 240 KB

english, 2007

Formal reliability analysis of combinational circuits using theorem proving

Osman Hasan, Jigar Patel, Sofiène Tahar

Журнал:

Journal of Applied Logic

Рік:

2011

Мова:

english

Файл:

PDF, 520 KB

english, 2011

Reasoning about conditional probabilities in a higher-order-logic theorem prover

Osman Hasan, Sofiène Tahar

Журнал:

Journal of Applied Logic

Рік:

2011

Мова:

english

Файл:

PDF, 244 KB

english, 2011

Hierarchical formal verification using a hybrid tool

Skander Kort, Sofiène Tahar, Paul Curzon

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2003

Мова:

english

Файл:

PDF, 190 KB

english, 2003

Comparison of SPIN and VIS for protocol verification

Hong Peng, Sofiène Tahar, Ferhat Khendek

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2003

Мова:

english

Файл:

PDF, 185 KB

english, 2003

A Survey on IP Watermarking Techniques

Amr T. Abdel-Hamid, Sofiéne Tahar, El Mostapha Aboulhamid

Журнал:

Design Automation for Embedded Systems

Рік:

2004

Мова:

english

Файл:

PDF, 227 KB

english, 2004

Formalization of Fixed-Point Arithmetic in HOL

Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk

Журнал:

Formal Methods in System Design

Рік:

2005

Мова:

english

Файл:

PDF, 1.35 MB

english, 2005

Providing a formal linkage between MDG and HOL

Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford

Журнал:

Formal Methods in System Design

Рік:

2007

Мова:

english

Файл:

PDF, 547 KB

english, 2007

Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL

Osman Hasan, Sofiène Tahar

Журнал:

Journal of Automated Reasoning

Рік:

2009

Мова:

english

Файл:

PDF, 577 KB

english, 2009

Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables

Osman Hasan, Sofiène Tahar

Журнал:

Journal of Automated Reasoning

Рік:

2008

Мова:

english

Файл:

PDF, 505 KB

english, 2008

Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving

Osman Hasan, Sofiène Tahar

Журнал:

Journal of Computer Science and Technology

Рік:

2010

Мова:

english

Файл:

PDF, 371 KB

english, 2010

NuMDG: A New Tool for Multiway Decision Graphs Construction

Sa’ed Abed, Yassine Mokhtari, Otmane Ait-Mohamed, Sofiène Tahar

Журнал:

Journal of Computer Science and Technology

Рік:

2011

Мова:

english

Файл:

PDF, 526 KB

english, 2011

Probabilistic Analysis of Wireless Systems Using Theorem Proving

Osman Hasan, Sofiène Tahar

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 503 KB

english, 2009

Formalization of the Standard Uniform random variable

Osman Hasan, Sofiène Tahar

Журнал:

Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 359 KB

english, 2007

[IEEE 2012 IEEE 10th International New Circuits and Systems Conference (NEWCAS) - Montreal, QC, Canada (2012.06.17-2012.06.20)] 10th IEEE International NEWCAS Conference - Parallelization strategies of the canny edge detector for multi-core CPUs and many-core GPUs

Ben Cheikh, Taieb Lamine, Beltrame, Giovanni, Nicolescu, Gabriela, Cheriet, Farida, Tahar, Sofiene

Рік:

2012

Мова:

english

Файл:

PDF, 402 KB

english, 2012

[IEEE 2012 IEEE 10th International New Circuits and Systems Conference (NEWCAS) - Montreal, QC, Canada (2012.06.17-2012.06.20)] 10th IEEE International NEWCAS Conference - Formal error analysis and verification of a frequency domain equalizer

Souari, Anis, Tahar, Sofiene, Gawanmeh, Amjad

Рік:

2012

Мова:

english

Файл:

PDF, 259 KB

english, 2012

[IEEE 2012 IEEE 10th International New Circuits and Systems Conference (NEWCAS) - Montreal, QC, Canada (2012.06.17-2012.06.20)] 10th IEEE International NEWCAS Conference - Using LCSS algorithm for circuit level verification of analog designs

Narayanan, Rajeev, Daghar, Alaeddine, Zaki, Mohamed, Tahar, Sofiene

Рік:

2012

Мова:

english

Файл:

PDF, 566 KB

english, 2012

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Design for Verification of the PCI-X Bus

Moinudeen, Haja, Habibi, Ali, Tahar, Sofiene

Рік:

2006

Мова:

english

Файл:

PDF, 88 KB

english, 2006

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving

Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 569 KB

english, 2009

[IEEE 2009 IFIP International Conference on Wireless and Optical Communications Networks (WOCN) - Cairo, Egypt (2009.04.28-2009.04.30)] 2009 IFIP International Conference on Wireless and Optical Communications Networks - Formal analysis of the handover schemes in mobile WiMAX networks

Taha, Ahmed M., Abdel-Hamid, Amr T., Tahar, Sofiene

Рік:

2009

Мова:

english

Файл:

PDF, 3.59 MB

english, 2009

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5170 ||

Mohamed, Otmane Ait, Muñoz, César, Tahar, Sofiène

Рік:

2008

Мова:

english

Файл:

PDF, 4.38 MB

english, 2008

[IEEE 2008 International Conference on Microelectronics - ICM - Sharjah, United Arab Emirates (2008.12.14-2008.12.17)] 2008 International Conference on Microelectronics - On the simulation performance of contemporary AMS hardware description languages

Narayanan, Rajeev, Abbasi, Naeem, Zaki, Mohamed, Al Sammane, Ghiath, Tahar, Sofiene

Рік:

2008

Мова:

english

Файл:

PDF, 505 KB

english, 2008

An approach for lifetime reliability analysis using theorem proving

Abbasi, Naeem, Hasan, Osman, Tahar, Sofiène

Журнал:

Journal of Computer and System Sciences

Рік:

2014

Мова:

english

Файл:

PDF, 381 KB

english, 2014

Formal Analysis of Optical Systems

Khan-Afshar, Sanaz, Siddique, Umair, Mahmoud, Mohamed Yousri, Aravantinos, Vincent, Seddiki, Ons, Hasan, Osman, Tahar, Sofiène

Журнал:

Mathematics in Computer Science

Рік:

2014

Мова:

english

Файл:

PDF, 1.47 MB

english, 2014

Design and verification of a frequency domain equalizer

Souari, Anis, Gawanmeh, Amjad, Tahar, Sofiène, Lassaad Ammari, Mohamed

Журнал:

Microelectronics Journal

Рік:

2014

Мова:

english

Файл:

PDF, 1.82 MB

english, 2014

Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation

Narayanan, Rajeev, Seghaier, Ibtissem, Zaki, Mohamed H., Tahar, Sofiene

Журнал:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Рік:

2013

Мова:

english

Файл:

PDF, 1.18 MB

english, 2013

[IEEE 2008 33rd IEEE Conference on Local Computer Networks (LCN 2008) - Montreal, QB, Canada (2008.10.14-2008.10.17)] 2008 33rd IEEE Conference on Local Computer Networks (LCN) - Event-B based invariant checking of secrecy in group key protocols

Gawanmeh, Amjad, Tahar, Sofiene, Ayed, Leila Jemni Ben

Рік:

2008

Мова:

english

Файл:

PDF, 401 KB

english, 2008

[IEEE 2014 IEEE 27th Canadian Conference on Electrical and Computer Engineering (CCECE) - Toronto, ON, Canada (2014.5.4-2014.5.7)] 2014 IEEE 27th Canadian Conference on Electrical and Computer Engineering (CCECE) - Real time verification of firewalls with dynamic rulebase update

Gawanmeh, Amjad, Tahar, Sofiene

Рік:

2014

Мова:

english

Файл:

PDF, 346 KB

english, 2014